- ultrapower
- Математика: ультрастепень
Универсальный англо-русский словарь. Академик.ру. 2011.
ultrapower
Смотреть что такое "ultrapower" в других словарях:
Hyperreal number — *R redirects here. For R*, see Rockstar Games. The system of hyperreal numbers represents a rigorous method of treating the infinite and infinitesimal quantities. The hyperreals, or nonstandard reals, *R, are an extension of the real numbers R… … Wikipedia
Ultraproduct — An ultraproduct is a mathematical construction, of which the ultrapower (defined below) is a special case. Ultraproducts are used in abstract algebra to construct new fields from given ones, and in model theory, a branch of mathematical logic. In … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Non-standard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha … Wikipedia
Measurable cardinal — In mathematics, a measurable cardinal is a certain kind of large cardinal number. Contents 1 Measurable 2 Real valued measurable 3 See also 4 References … Wikipedia
Real closed field — In mathematics, a real closed field is a field F in which any of the following equivalent conditions are true:#There is a total order on F making it an ordered field such that, in this ordering, every positive element of F is a square in F and… … Wikipedia
Connes embedding problem — In von Neumann algebras, the Connes embedding problem or conjecture, due to Alain Connes, asks whether every type II1 factor on a separable Hilbert space can be embedded into the ultrapower of the hyperfinite type II1 factor by a free ultrafilter … Wikipedia
Mitchell order — In mathematical set theory, the Mitchell order is a well founded preorder on the set of normal measures on a measurable cardinal κ. It is named for William Mitchell. We say that M ◅ N (this is a strict order) if M is in the ultrapower model… … Wikipedia
Axiom of regularity — In mathematics, the axiom of regularity (also known as the axiom of foundation) is one of the axioms of Zermelo Fraenkel set theory and was introduced by harvtxt|von Neumann|1925. In first order logic the axiom reads::forall A (exists B (B in A)… … Wikipedia
Dirac delta function — Schematic representation of the Dirac delta function by a line surmounted by an arrow. The height of the arrow is usually used to specify the value of any multiplicative constant, which will give the area under the function. The other convention… … Wikipedia
Saturated model — There is an unrelated notion of saturated model in the context of structural equation modeling. In mathematical logic, and particularly in its subfield model theory, a saturated model M is one which realizes as many complete types as may be… … Wikipedia
